]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3351cd2) | patch
extensions-app: Remove Help menu item
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 11 Dec 2023 01:08:36 +0000 (02:08 +0100)
committerMarge Bot <marge-bot@gnome.org>
Thu, 21 Dec 2023 15:06:11 +0000 (15:06 +0000)
commitfdb7700535b12259bcc0cfed718d4a70a88593b7
treee2ba3985e9bcabfa968ce08be28b969b01330666tree | snapshot
parent3351cd2f077151cb83d510edbeb35f2961ccaf58commit | diff
extensions-app: Remove Help menu item

The app has been around for quite a while now, but there still
isn't any user documentation. Time to remove a menu item that
doesn't do anything.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3051>
subprojects/extensions-app/data/ui/extensions-window.ui diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.